#ifndef MINISAT_H_
#define MINISAT_H_

#include "AbstractGraph.h"
#include "Graph.h"
#include "Sat.h"

class Minisat:public Sat
{
  public:
  
    Minisat(GraphInterface * graph, int coverSize);
    virtual ~Minisat();
    void vcProblemToSat();
    std::vector<int> satProblemToVc();

  private:

   
    GraphInterface * g;
    int coverSize;
    Sat sat;
    
};

#endif

